Reasoning with Fuzzy Ontologies
نویسندگان
چکیده
By the development of Semantic Web, increasing demands for vague information representation have triggered a mass of theoretical and applied researches of fuzzy ontologies, whose main logical infrastructures are fuzzy description logics. However, current tableau algorithms can not supply complete reasoning support within fuzzy ontology: reasoning with general TBox is still a difficult problem in fuzzy description logics. The main trouble is that fuzzy description logics adopt fuzzy models with continuous but not discrete membership degrees. In this paper, we propose a novel semantical discretization to discretize membership degrees in fuzzy description logic FSHIN . Based on this discretization, we design discrete tableau algorithms to achieve reasoning with general TBox.
منابع مشابه
A Meta-Ontology Approach for Representing and Processing Imprecise Knowledge in Ontologies
Ontologies have been employed in several applications regarding knowledge representation, aiming to represent data semantics and support reasoning tasks. However, traditional ontologies are less suitable to represent some domains that require the representation of vague or imprecise information, which often occurs in human language. In order to handle such restriction, it is necessary to extend...
متن کاملConstruction of Fuzzy Ontologies from Fuzzy UML Models
The success and proliferation of the Semantic Web depends heavily on construction of Web ontologies. However, classical ontology construction approaches are not sufficient for handling imprecise and uncertain information that is commonly found in many application domains. Therefore, great efforts on construction of fuzzy ontologies have been made in recent years. In this paper, we propose a for...
متن کاملA Model for Representing Vague Linguistic Terms and Fuzzy Rules for Classification in Ontologies
Ontologies have been successfully employed in applications that require semantic information processing. However, traditional ontologies are not able to express fuzzy or vague information, which often occurs in human vocabulary as well as in several application domains. In order to deal with such restriction, concepts of fuzzy set theory should be incorporated into ontologies so that it is poss...
متن کاملReasoning and change management in modular fuzzy ontologies
The growing emphasis on complexity concerns for ontologies has attracted significant interest from both the researcher’s and the practitioner’s communities in modularization techniques as a way to decrease the complexity of managing huge ontologies. On the other hand, it has been widely pointed out that classical ontologies are not appropriate to deal with imprecise and vague knowledge, which i...
متن کاملAn Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning
In recent years there has been a growing interest in the combination of rules and ontologies. Notably, many works have focused on the theoretical aspects of such integration, sometimes leading to concrete solutions. However, solutions proposed so far typically reason upon crisp concepts, while concrete domains require also fuzzy expressiveness. In this work we combine mature technologies, namel...
متن کامل